2 DESCRIPTION LEVEL and EXECUTION
نویسنده
چکیده
This paper hopes to make a contribution on three aspects of workkow systems: we stress the fact that there is a broken symetry between the level of the speciication of the procedures and the level of their enactment; we propose some ways of classifying activities and exceptions; and we propose some run-time functionalities to help users deal with exceptions.
منابع مشابه
Observation macroscopique et émergence dans les SMA de très grande taille
The analysis of large-scale MAS requires a jump from its microscopic design to a macroscopic description of its execution. This paper addresses three difficulties in relation with this change of level. (1) It defines the emergence concept as a relative-to-observation property and formalizes the concept starting from the notions of description and complexity. (2) It sketches a method for causal ...
متن کاملSimulation of Pedestrian Dynamics with Macroscopic and Microscopic Mathematical Models
Here, we collect two parts of a research project on the pedestrian flow modeling. Rapid growth in the volume of public transport and the need for its reasonable, efficient planning have made the description and modeling of transport and pedestrian behaviors as important research topics in the past twenty years. First, we present a macroscopic model for the pedestrian flow based on continuum mec...
متن کاملSymbolic Execution of the Gist Specification Language
A b s t r a c t : Symbolic execution can help clarify the behavior implied by a program specification without implementing that specification, and can thereby assist the difficult process of developing a correct specification. However, symbolic execution of specifications poses problems that do not arise in symbolic execution of ordinary programming languages. We describe a symbolic evaluator, ...
متن کاملInvestigation on Reliability Estimation of Loosely Coupled Software as a Service Execution Using Clustered and Non-Clustered Web Server
Evaluating the reliability of loosely coupled Software as a Service through the paradigm of a cluster-based and non-cluster-based web server is considered to be an important attribute for the service delivery and execution. We proposed a novel method for measuring the reliability of Software as a Service execution through load testing. The fault count of the model against the stresses of users ...
متن کاملThe effect of imagery, observation and execution of the pattern in the field on the performance of the regulated games of skilled basketball players
Abstract The effectiveness of different educational methods in learning different types of motor skills has been considered. However, comparisons of these methods in regulated team sports games have been less studied. Therefore, the aim of the present study was to compare the three educational methods of imagery, observation, and execution of in-field pattern on the performance of regulated ga...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995